• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
تعداد ۲۴ پاسخ غیر تکراری از ۲۴ پاسخ تکراری در مدت زمان ۱,۰۵ ثانیه یافت شد.

1. Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical

Classification :
QA
76
.
L28
Vol
.
306

2. Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses

Classification :
QA
76
.
6
.
F6858
1986

3. Functional and Logic Programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: \ Oleg Kiselyov , Andy King (Eds.)

Library: Library of Foreign Languages and Islamic Sources (Qom)

Subject: Functional programming (Computer science) -- Congresses.,Logic programming -- Congresses.,Functional programming (Computer science),برنامه‌نویسی منطقی -- کنگره‌ها

Classification :
QA
76
.
62
.
F8
2016
E-Book
,

4. Functional and constraint logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Functional programming (Computer science) ; Congresses. ; Constraint programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;

Classification :

5. Functional and constraint logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Santiago Escobar (ed.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Functional programming (Computer science)--Congresses,Constraint programming (Computer science)--Congresses,Logic programming--Congresses,WFLP

Classification :
QA
,
76
.
62
,.
W45
,
2009

6. Functional and constraint logic programming :

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Josep Silva (ed.).

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Constraint programming (Computer science), Congresses.,Functional programming (Computer science), Congresses.,Logic programming, Congresses.,Constraint programming (Computer science),Functional programming (Computer science),Logic programming.

Classification :
QA76
.
62

7. Functional and constraint logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Santiago Escobar (ed.

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Functional programming (Computer science), Congresses,Constraint programming (Computer science), Congresses,Logic programming, Congresses

Classification :
QA76
.
62
.
W45
2010

8. Functional and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library and Documents Center of Mazandaran University (Mazandaran)

Subject: Functional programming (Computer science) ; Congresses. ; Logic programming ; Congresses. ;

Classification :

9. Functional and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Matthias Blume, Naoki Kobayashi, German Vidal. (eds.)

Library: Central Library and Information Center of Shahed University (Tehran)

Subject: Functional programming (Computer science), Congresses,Logic programming, Congresses

Classification :
QA
،
76
.
62
،.
F84
،
2010

10. Functional and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Masami Hagiya, Philip Wadler (eds.)

Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)

Subject: Functional programming (Computer science)--Congresses,Logic programming--Congresses

Classification :
QA
,
76
.
62
,.
F84
,
2006

11. Functional and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Matthias Blume, Naoki Kobayashi, German Vidal (eds.

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Functional programming (Computer science), Congresses,Logic programming, Congresses

Classification :
QA76
.
62
.
F56
2010

12. Functional and logic programming

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Tom Schrijvers, Peter Thiemann (eds.)

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Functional programming (Computer science), Congresses,Logic programming, Congresses

Classification :
QA76
.
62
.
F85
2011eb

13. Functional and logic programming : 4th Fuji International Symposium, FLOPS'99, Tsukuba, Japan, November 11-13, 1999 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Aart Middeldorp, Taisuke Sato )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

Classification :
QA
76
.
L28
Vol
.
1722

14. Functional and logic programming : 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Zhenjiang Hu, Mario Rodriguez-Artalejo )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

Classification :
QA
76
.
L28
Vol
.
2441

15. Functional and logic programming : 5th International Symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Herbert Kuchen, Kazunori Ueda )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

Classification :
QA
76
.
L28
Vol
.
2024

16. Functional and logic programming : 7th international symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004 : proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: Yukiyoshi Kameyama, Peter J. Stuckey )eds.(

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

Classification :
QA
76
.
L28
Vol
.
2998

17. Functional and logic programming: 5th international symposium, FLOPS 2001, Tokyo, Japan, March 7-9, 2001: proceedings

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author:

Library: Central Library of Sharif University of Technology (Tehran)

Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

Classification :
QA
76
.
62
.
F84
2001

18. Implementation and application of functional language

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: / Jurriaan Hage, Marco T. Morazaan (eds

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books

Classification :
QA76
.
62
.
I58
2010

19. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-14, 1998

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editors, Masahiko Sato, Yoshihito Toyama

Library: Central Library of Amirkabir University of Technology (Tehran)

Subject: Functional programming )Computer science( - Congresses , Logic programming - Congresses

Classification :
QA
76
.
62
.
F84
1998

20. Third Fuji International Symposium on Functional and Logic Programming, Kyoto, Japan, April 2-4, 1998

  • اطلاعات استناد دهی
  • BibTex
  • RIS
  • Endnote
  • Refer

Author: editors, Masahiko Sato, Yoshihito Toyama

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: Congresses ، Functional programming )Computer science(,Congresses ، Logic programming

Classification :
QA
76
.
62
.
F84
1998
  • »
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival